Church–Turing thesis

Results: 76



#Item
31Mathematics / Theory of computation / Alan Turing / Models of computation / Church–Turing thesis / Turing machine / Halting problem / Computable function / Algorithm / Computability theory / Theoretical computer science / Computer science

La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens.

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2011-11-23 05:32:01
32Computer science / Theory of computation / Church–Turing thesis / Computable function / Halting problem / Entscheidungsproblem / Turing machine / Emil Leon Post / Computable number / Theoretical computer science / Computability theory / Mathematics

Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2011-11-29 04:43:49
33Computability theory / Theory of computation / Automata theory / Models of computation / Church–Turing thesis / Algorithm / Decidability / Finite-state machine / P / Theoretical computer science / Computer science / Applied mathematics

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-05-09 10:09:21
34Theory of computation / Computability theory / Alan Turing / Turing machine / Digital physics / Church–Turing thesis / Computational complexity theory / Computation / Halting problem / Theoretical computer science / Computer science / Mathematics

arXiv:1312.4455v1 [quant-ph] 16 Dec[removed]The Universe as Quantum Computer Seth Lloyd Department of Mechanical Engineering Massachusetts Institute of Technology

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-12-16 20:26:09
35Theory of computation / Applied mathematics / Turing machine / Models of computation / Alan Turing / Church–Turing thesis / Church–Turing–Deutsch principle / Computable function / Computability / Theoretical computer science / Computer science / Computability theory

Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH Appeared in Proceedings of the Royal Society of London A 400, pp[removed]y (Communicated by R. Penrose, F.R.S. — Rece

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2005-09-12 05:30:31
36Computability theory / Automata theory / Theory of computation / Models of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Mathematics

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-03-08 11:06:55
37Mathematics / Automata theory / Models of computation / Theory of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Computability theory

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2012-12-02 12:39:02
38Computability theory / Applied mathematics / Alan Turing / Formal methods / Models of computation / Algorithm / Church–Turing thesis / Computable function / Turing machine / Theoretical computer science / Computer science / Theory of computation

What is an algorithm? Yuri Gurevich Microsoft Research Technical Report MSR-TR[removed], July 2011

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-02-23 13:32:36
39Theory of computation / Quantum mechanics / Quantum information science / Quantum measurement / Computability theory / Quantum computer / Hypercomputation / Church–Turing thesis / Quantum information / Theoretical computer science / Physics / Applied mathematics

Asia Pacific Mathematics Newsletter Beyond Turing: Hypercomputation and Quantum Morphogenesis Ignazio Licata 1. “Purely Mechanical”

Add to Reading List

Source URL: www.asiapacific-mathnews.com

Language: English - Date: 2012-08-01 02:03:02
40Computer science / Theory of computation / Models of computation / Alan Turing / Turing machine / Computable function / Church–Turing thesis / Function / Halting problem / Theoretical computer science / Computability theory / Mathematics

Probability 1 computation with chemical reaction networks∗ Rachel Cummings† David Doty‡ David Soloveichik§

Add to Reading List

Source URL: solo.ucsf.edu

Language: English - Date: 2014-08-07 17:30:18
UPDATE